Compilation of libraries with `public-names`

  $ dune build
